Ãlukasiewicz - Moisil Many - Valued Logic Algebra of Highly - Complex Systems
نویسندگان
چکیده
The fundamentals of à Lukasiewicz-Moisil logic algebras and their applications to complex genetic network dynamics and highly complex systems are presented in the context of a categorical ontology theory of levels, Medical Bioinformatics and self-organizing, highly complex systems. Quantum Automata were defined in refs.[2] and [3] as generalized, probabilistic automata with quantum state spaces [1]. Their next-state functions operate through transitions between quantum states defined by the quantum equations of motions in the Schrödinger representation, with both initial and boundary conditions in space-time. A new theorem is proven which states that the category of quantum automata and automata–homomorphisms has both limits and colimits. Therefore, both categories of quantum automata and classical automata (sequential machines) are bicomplete. A second new theorem establishes that the standard automata category is a subcategory of the quantum automata category. The quantum automata category has a faithful representation in the category of Generalized (M,R)–Systems which are open, dynamic biosystem networks [4] with defined biological relations that represent physiological functions of primordial(s), single cells and the simpler organisms. A new category of quantum computers is also defined in terms of reversible quantum automata with quantum state spaces represented by topological groupoids that admit a local characterization through unique, quantum Lie algebroids. On the other hand, the category of n– à Lukasiewicz algebras has a subcategory of centered n– à Lukasiewicz algebras (as proven in ref. [2]) which can be employed to design and construct subcategories of quantum automata based on n–à Lukasiewicz diagrams of existing VLSI. Furthermore, as shown in ref.[2] the category of
منابع مشابه
Mutually Exclusive Nuances of Truth in Moisil Logic
Moisil logic, having as algebraic counterpart Lukasiewicz-Moisil algebras, provides an alternative way to reason about vague information based on the following principle: a many-valued event is characterized by a family of Boolean events. However, using the original definition of Lukasiewicz-Moisil algebra, the principle does not apply for subalgebras. In this paper we identify an alternative a...
متن کاملComplex Non-linear Biodynamics in Categories, Higher Dimensional Algebra and Łukasiewicz– Moisil Topos: Transformations of Neuronal, Genetic and Neoplastic Networks
A categorical, higher dimensional algebra and generalized topos framework for Łukasiewicz–Moisil Algebraic–Logic models of non-linear dynamics in complex functional genomes and cell interactomes is proposed. Łukasiewicz– Moisil Algebraic–Logic models of neural, genetic and neoplastic cell networks, as well as signaling pathways in cells are formulated in terms of non-linear dynamic systems with...
متن کاملMutually exclusive nuances of truth
Nuances of truth represent a robust paradigm in the framework of many-valued logics [1]. The idea of nuancing states that a many-valued object is uniquely determined by some Boolean objects, its nuances, and it is called the determination principle. However, a many-valued object cannot be recovered only from its Boolean nuances. This idea goes back to Gr. C. Moisil [4] and it is mathematically ...
متن کاملLukasiewicz-Moisil Many-Valued Logic Algebra of Highly-Complex Systems vs the Q-logics of Quantum Automata and Chryssippian Logic
are presented in the context of their applications to complex genetic network dynamics, highly complex systems, quantum automata [2]–[3] and quantum supercomputers. Our novel approach to the Categorical Ontology Theory of Levels impacts on Medical Bioinformatics and self-organizing, Highly-Complex Systems (HCS), such as living organisms and artificial intelligent systems (AIs). Quantum Automata...
متن کاملn×m−valued Lukasiewicz-Moisil algebras with two modal operators
In 2000, Figallo and Sanza introduced the n×m−valued Lukasiewicz-Moisil algebras, which are a particular case of Matrix Lukasiewicz algebras, and a nontrivial generalization of n−valued Lukasiewicz-Moisil algebras. Here we start a research on the class of n × m−valued Lukasiewicz-Moisil algebras endowed with two modal operators (or 2mLMn×m−algebras). These algebras constitute a common generaliz...
متن کامل